λβ↓QI∀8(α`¬(≡@
 L@∧#↓pπ@λα␈␈X␈}␈␈Xα@P␈␈p↓ ␈␈p∨␈`↓ ␈␈p∨␈`↓@␈␈p∨␈@↓ ␈␈p∨␈@↓`␈␈p∨␈@↓@␈␈p∨␈@↓`␈␈p∨␈ ↓ ␈␈p∨␈ ↓↓␈␈p∨␈ ↓`␈␈p∨␈ ↓↓␈␈p∨␈ ↓@␈␈p∨␈ ↓↓␈␈p∨␈ ↓`␈␈p∨␈ ↓↓␈␈p∨␈↓ ␈␈p∨␈↓↓ ␈␈p∨␈↓↓␈␈p∨␈↓↓ ␈␈p∨␈↓`␈␈p∨␈↓↓ ␈␈p∨␈↓↓␈␈p∨␈↓↓ ␈␈p∨␈↓@␈␈p∨␈↓↓ ␈␈p∨␈↓↓␈␈p∨␈↓↓ ␈␈p∨␈↓`␈␈p∨␈↓↓ ␈␈p∨␈↓↓␈␈p∨␈↓↓ ␈␈p∨}`↓ ␈␈p∨}`↓↓@␈␈p∨}`↓↓ ␈␈p∨}`↓↓@␈␈p∨}`↓↓␈␈p∨}`↓↓@␈␈p∨}`↓↓ ␈␈p∨}`↓↓@␈␈p∨}`↓`␈␈p∨}`↓↓@␈␈p∨}`↓↓ ␈␈p∨}`↓↓@␈␈p∨}`↓↓␈␈p∨}`↓↓@␈␈p∨}`↓↓ ␈␈p∨}`↓↓@␈␈p∨}`↓@␈␈p∨}`↓↓@␈␈p∨}`↓↓ ␈␈p∨}`↓↓@␈␈p∨}`↓↓␈␈p∨}`↓↓@␈␈p∨}`↓↓ ␈␈p∨}`↓↓@␈␈p∨}`↓`␈␈p∨}`↓↓@␈␈p∨}`↓↓ ␈␈p∨}`↓↓@␈␈p∨}`↓↓␈␈p∨}`↓↓@␈␈p∨}`↓↓ ␈␈p∨}`↓↓@␈␈p∨}@↓ ␈␈p∨}@↓@␈␈p∨}@↓`␈␈p∨}@↓↓␈␈p∨}@↓↓ ␈␈p∨}@↓↓@␈␈p∨}@↓↓`␈␈p∨} ↓ ␈␈p∨} ↓@␈␈p∨} ↓`␈␈p∨} ↓↓␈␈p∨} ↓↓ ␈␈p∨} ↓↓@␈␈p∨} ↓↓`␈␈p∨} ↓α␈␈p∨}↓ ␈␈p∨}↓@␈␈p∨}↓`␈␈p∨}↓↓␈␈p∨}↓↓ ␈␈p∨}↓↓@␈␈p∨}↓↓`␈␈p∨}↓α␈␈p∨}↓α ␈␈p∨⎇`↓ ␈␈p∨⎇`↓@␈␈p∨⎇`↓`␈␈p∨⎇`↓↓␈␈p∨⎇`↓↓ ␈␈p∨⎇`↓↓@␈␈p∨⎇`↓↓`␈␈p∨⎇`↓α␈␈p∨⎇`↓α ␈␈p∨⎇`↓α@␈␈p∨⎇@↓ ␈␈p∨⎇@↓@␈␈p∨⎇@↓`␈␈p∨⎇@↓↓␈␈p∨⎇@↓↓ ␈␈p∨⎇@↓↓@␈␈p∨⎇@↓↓`␈␈p∨⎇@↓α␈␈p∨⎇@↓α ␈␈p∨⎇@↓α@␈␈p∨⎇@↓α`␈␈p∨⎇ ↓ ␈␈p∨⎇ ↓@␈␈p∨⎇ ↓`␈␈p∨⎇ ↓↓␈␈p∨⎇ ↓↓ ␈␈p∨⎇ ↓↓@␈␈p∨⎇ ↓↓`␈␈p∨⎇ ↓α␈␈p∨⎇ ↓α ␈␈p∨⎇ ↓α@␈␈p∨⎇ ↓α`␈␈p∨⎇ ↓β↓␈␈h∨⎇ αββ␈␈H∨⎇ ∧β∂0⊂⊂ ⊂@⊂`⊃⊃0⊃P∩∩ ∩P∪∪0∪P∀∀0∀`∃∃@∃p⊗0⊗`↔ ↔P_⊂_0_p→ →`~⊂~P≠≠@≠`≤ ≤`≥ ≥P≡⊂≡P∨⊂∨@  @!!0!p"0"p#⊂#P$⊂$P%%@&&@&p'0'p(0(`) )`* *@*`+⊂+@,,@-⊂-0-P..0.p/000P0p1⊂1@1p202p3@4⊂4p5⊂505`6⊂6P7⊂7`809⊂9p:⊂:0:`;⊂;P<⊂<`=0>⊂>p?`@@ @PAA@BBPC DD`EPF@H⊂␈⎇@H∨G⎇␈x␈␈␈␈x␈␈oxx`␈␈_␈␈`␈␈_␈␈`␈}_␈␈␈␈x␈␈_␈␈`␈⎇_x?a␈␈C`␈}_␈␈␈␈x␈⎇_␈␈␈␈x␈␈`␈␈_␈␈`␈|_xβ}xxβ}x␈⎇_x?a␈␈C`␈|_x?}∂xx?}∂x␈}_␈␈␈␈x␈|_␈C␈px␈C␈px␈⎇_␈␈␈␈x␈␈`␈|_␈␈␈␈x␈␈␈␈x␈␈_␈␈`␈{_x∨pπ|∂xβ`␈|_xβ}xxβ}x␈{_xβ␈p␈|↓␈x?`␈⎇_x?a␈␈C`␈{_x<∨pxπ|≡∂xπC`␈|_x?}∂xx?}∂x␈{_x?␈px␈|∨␈xπ␈`␈}_␈␈␈␈x␈{_␈@∨␈π␈`∂xxβ`␈|_␈C␈px␈C␈px␈{_␈C␈␈␈␈a␈xx?`␈⎇_␈␈␈␈x␈␈`␈{_␈|∨␈xπ␈}∂x␈C`␈|_␈␈␈␈x␈␈␈␈x␈{_␈␈␈␈x␈␈␈␈x␈␈`␈␈_␈␈`␈z_x↓␈β}π|x␈{_x∨pπ|∂xβ`␈z_x∨␈?}␈|∂x␈|_xβ}xxβ}x␈z_xβa␈πC}xπ|↓px␈{_xβ␈p␈|↓␈x?`␈z_xβ␈␈π␈}x␈|↓␈x␈⎇_x?a␈␈C`␈z_x<↓␈xβ}∂π|≡x␈{_x<∨pxπ|≡∂xπC`␈z_x<∨␈x?}∂␈|≡∂x␈|_x?}∂xx?}∂x␈z_x?a␈␈C}∂xπ|∨px␈{_x?␈px␈|∨␈xπ␈`␈z_x?␈␈␈␈}∂x␈|∨␈x␈}_␈␈␈␈x␈z_␈@↓␈xβ␈pπ␈`x␈{_␈@∨␈π␈`∂xxβ`␈z_␈@∨␈x?␈p␈␈`∂x␈|_␈C␈px␈C␈px␈z_␈Ca␈xπC␈pxπ␈apx␈{_␈C␈␈␈␈a␈xx?`␈z_␈C␈␈xπ␈␈px␈␈a␈x␈⎇_␈␈␈␈x␈␈`␈z_␈|↓␈xxβ␈␈π␈}x␈{_␈|∨␈xπ␈}∂x␈C`␈z_␈|∨␈xx?␈␈␈␈}∂x␈|_␈␈␈␈x␈␈␈␈x␈z_␈␈a␈x␈C␈␈xπ␈␈px␈{_␈␈␈␈x␈␈␈␈x␈␈`␈z_␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈_␈␈`␈}_␈␈␈␈x␈⎇_␈␈␈␈x␈␈`␈|_␈␈␈␈x␈␈␈␈x␈{_␈␈␈␈x␈␈␈␈x␈␈`␈z_␈␈␈␈x␈␈␈␈x␈␈␈␈x␈y_␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈`␈␈_␈␈`␈}_␈␈␈␈x␈⎇_␈␈␈␈x␈␈`␈|_␈␈␈␈x␈␈␈␈x␈{_␈␈␈␈x␈␈␈␈x␈␈`␈z_␈␈␈␈x␈␈␈␈x␈␈␈␈x␈y_␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈`␈x_␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈_␈␈`␈}_␈␈␈␈x␈⎇_␈␈␈␈x␈␈`␈|_␈␈␈␈x␈␈␈␈x␈{_␈␈␈␈x␈␈␈␈x␈␈`␈z_␈␈␈␈x␈␈␈␈x␈␈␈␈x␈y_␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈`␈x_␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈w_␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈`␈␈_␈␈`␈}_␈␈␈␈x␈⎇_␈␈␈␈x␈␈`␈|_␈␈␈␈x␈␈␈␈x␈{_␈␈␈␈x␈␈␈␈x␈␈`␈z_␈␈␈␈x␈␈␈␈x␈␈␈␈x␈y_␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈`␈x_␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈w_␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈`␈v_␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈_␈␈`␈}_␈␈␈␈x␈⎇_␈␈␈␈x␈␈`␈|_␈␈␈␈x␈␈␈␈x␈{_␈␈␈␈x␈␈␈␈x␈␈`␈z_␈␈␈␈x␈␈␈␈x␈␈␈␈x␈y_␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈`␈x_␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈w_␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈`␈v_␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈u_␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈`␈␈_␈␈`␈}_␈␈␈␈x␈⎇_␈␈␈␈x␈␈`␈|_␈␈␈␈x␈␈␈␈x␈{_␈␈␈␈x␈␈␈␈x␈␈`␈z_␈␈␈␈x␈␈␈␈x␈␈␈␈x␈y_␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈`␈x_␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈w_␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈`␈v_␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈u_␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈`␈t_␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈t8␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈tx␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x␈␈␈␈x